School of Computer Science

Results: 3584



#Item
171

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2017-09-01 10:27:18
    172

    Prateek Saxena Dean’s Chair Assistant Professor, COM2-03-40, 13 Computing Drive Computer Science Department, School of Computing National University of Singapore R ESEARCH

    Add to Reading List

    Source URL: www.comp.nus.edu.sg

    - Date: 2016-11-14 07:33:10
      173

      Fixing Inconsistent Databases by Updating Numerical Attributes Leopoldo Bertossi, Loreto Bravo Carleton University, School of Computer Science, Ottawa, Canada. {bertossi,lbravo}@scs.carleton.ca Enrico Franconi, Andrei Lo

      Add to Reading List

      Source URL: www.inf.unibz.it

      - Date: 2017-01-27 04:48:10
        174

        The Arpeggigon: A Functional Reactive Musical Automaton Demo, FARM 2017, 9 Sept., Oxford Henrik Nilsson Joint work with Guerric Chupin and Jin Zhan Functional Programming Laboratory, School of Computer Science

        Add to Reading List

        Source URL: functional-art.org

        - Date: 2018-01-20 12:19:10
          175

          Strong Equilibrium in Cost Sharing Connection Games Amir Epstein ∗ School of Computer Science

          Add to Reading List

          Source URL: www.tau.ac.il

          - Date: 2007-03-27 05:17:37
            176

            A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

            Add to Reading List

            Source URL: www.ntu.edu.sg

            - Date: 2017-09-05 03:25:12
              177

              Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2009-08-22 10:16:19
                178

                Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

                Add to Reading List

                Source URL: cimini.info

                - Date: 2015-12-30 23:47:11
                  179

                  Analyzing Framing through the Casts of Characters in the News Dallas Card1 Justin H. Gross2 Amber E. Boydstun3 Noah A. Smith4 1 School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA 2 Departme

                  Add to Reading List

                  Source URL: www.amber-boydstun.com

                  - Date: 2017-09-28 16:18:21
                    180

                    A Closed Form Solution to Natural Image Matting Anat Levin Dani Lischinski Yair Weiss School of Computer Science and Engineering The Hebrew University of Jerusalem

                    Add to Reading List

                    Source URL: people.csail.mit.edu

                    - Date: 2006-04-03 14:30:04
                      UPDATE